fun call f arg = print ((Int64.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callO f arg = print (((case f arg of SOME x => "SOME " ^ Int64.toString x | NONE => "NONE") handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callP f arg = print (((case f arg of (x, y) => "(" ^ Int64.toString x ^ "," ^ Int64.toString y ^ ")") handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (Int64.toString x ^ " + " ^ Int64.toString y ^ " = ")
                 ; call Int64.+ (x, y)
                 ; print (Int64.toString x ^ " - " ^ Int64.toString y ^ " = ")
                 ; call Int64.- (x, y)
                 ; print (Int64.toString x ^ " * " ^ Int64.toString y ^ " = ")
                 ; call Int64.* (x, y)
                 ; print (Int64.toString x ^ " div " ^ Int64.toString y ^ " = ")
                 ; call Int64.div (x, y)
                 ; print (Int64.toString x ^ " mod " ^ Int64.toString y ^ " = ")
                 ; call Int64.mod (x, y)
                 ; print (Int64.toString x ^ " quot " ^ Int64.toString y ^ " = ")
                 ; call Int64.quot (x, y)
                 ; print (Int64.toString x ^ " rem " ^ Int64.toString y ^ " = ")
                 ; call Int64.rem (x, y)
                 );
fun un x = ( print ("~ " ^ Int64.toString x ^ " = ")
           ; call Int64.~ x
           ; print ("abs " ^ Int64.toString x ^ " = ")
           ; call Int64.abs x
           (* ; print ("fmt BIN " ^ Int64.toString x ^ " = ")
           ; callS (Int64.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ Int64.toString x ^ " = ")
           ; callS (Int64.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ Int64.toString x ^ " = ")
           ; callS (Int64.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ Int64.toString x ^ " = ")
           ; callS (Int64.fmt StringCvt.HEX) x
           ; print ("toLarge " ^ Int64.toString x ^ " = ")
           ; callS (LargeInt.toString o Int64.toLarge) x
           );
List.app un
[~9223372036854775808
,~9223372036854775807
,~77
,~3
,~2
,~1
,0
,1
,2
,3
,78
,9223372036854775806
,9223372036854775807
,~7947824002859474384
,1193936995113157271
,~7110652925265813409
,~6496926215936148721
,~4614367776847036208
,1850897169482479058
,509737257686032273
,~2772742842632298985
,~1139149793746111861
,7029692886760155231
,327498237968141812
,3031593395343589682
,~7179805312085230917
,6193593849842283397
,3871230490118179214
,4538817041780162345
,8124990645564305144
,702451779647042142
,~3358434931760390820
,2891719719242554971
,~8046407152273046291
,5771199930553428095
,3243921614685045826
,~7762758786496394743
,4118233014419097931
,~795992041497836901
,~6791610884555272070
,~1342490884218138088
,3779415002625531537
,~2530096631792683808
,~3390033792710642358
,~2858492861159733086
,7111419840003670754
,563311533319309035
,~1626964330833580513
,~8692633920563937368
,~4294850773418626085
,7088447490193140258
,~4084751949466950190
,3527977148986537661
,~3468254136594187192
,4796421489741611627
,~4147906269603042320
,~8071377559030702723
,3943381502539243158
,2383404150639911864
,7179134047336623991
,5878452447730771359
,~7496875681249546251
,6130151216669122598
];
List.app bin
[(~9223372036854775808,~9223372036854775808)
,(~9223372036854775808,~9223372036854775807)
,(~9223372036854775808,~35)
,(~9223372036854775808,~3)
,(~9223372036854775808,~2)
,(~9223372036854775808,~1)
,(~9223372036854775808,0)
,(~9223372036854775808,1)
,(~9223372036854775808,2)
,(~9223372036854775808,3)
,(~9223372036854775808,99)
,(~9223372036854775808,9223372036854775806)
,(~9223372036854775808,9223372036854775807)
,(~9223372036854775808,3002399751580331)
,(~9223372036854775807,~9223372036854775808)
,(~9223372036854775807,~9223372036854775807)
,(~9223372036854775807,~35)
,(~9223372036854775807,~3)
,(~9223372036854775807,~2)
,(~9223372036854775807,~1)
,(~9223372036854775807,0)
,(~9223372036854775807,1)
,(~9223372036854775807,2)
,(~9223372036854775807,3)
,(~9223372036854775807,99)
,(~9223372036854775807,9223372036854775806)
,(~9223372036854775807,9223372036854775807)
,(~9223372036854775807,3002399751580331)
,(~77,~9223372036854775808)
,(~77,~9223372036854775807)
,(~77,~35)
,(~77,~3)
,(~77,~2)
,(~77,~1)
,(~77,0)
,(~77,1)
,(~77,2)
,(~77,3)
,(~77,99)
,(~77,9223372036854775806)
,(~77,9223372036854775807)
,(~77,3002399751580331)
,(~3,~9223372036854775808)
,(~3,~9223372036854775807)
,(~3,~35)
,(~3,~3)
,(~3,~2)
,(~3,~1)
,(~3,0)
,(~3,1)
,(~3,2)
,(~3,3)
,(~3,99)
,(~3,9223372036854775806)
,(~3,9223372036854775807)
,(~3,3002399751580331)
,(~2,~9223372036854775808)
,(~2,~9223372036854775807)
,(~2,~35)
,(~2,~3)
,(~2,~2)
,(~2,~1)
,(~2,0)
,(~2,1)
,(~2,2)
,(~2,3)
,(~2,99)
,(~2,9223372036854775806)
,(~2,9223372036854775807)
,(~2,3002399751580331)
,(~1,~9223372036854775808)
,(~1,~9223372036854775807)
,(~1,~35)
,(~1,~3)
,(~1,~2)
,(~1,~1)
,(~1,0)
,(~1,1)
,(~1,2)
,(~1,3)
,(~1,99)
,(~1,9223372036854775806)
,(~1,9223372036854775807)
,(~1,3002399751580331)
,(0,~9223372036854775808)
,(0,~9223372036854775807)
,(0,~35)
,(0,~3)
,(0,~2)
,(0,~1)
,(0,0)
,(0,1)
,(0,2)
,(0,3)
,(0,99)
,(0,9223372036854775806)
,(0,9223372036854775807)
,(0,3002399751580331)
,(1,~9223372036854775808)
,(1,~9223372036854775807)
,(1,~35)
,(1,~3)
,(1,~2)
,(1,~1)
,(1,0)
,(1,1)
,(1,2)
,(1,3)
,(1,99)
,(1,9223372036854775806)
,(1,9223372036854775807)
,(1,3002399751580331)
,(2,~9223372036854775808)
,(2,~9223372036854775807)
,(2,~35)
,(2,~3)
,(2,~2)
,(2,~1)
,(2,0)
,(2,1)
,(2,2)
,(2,3)
,(2,99)
,(2,9223372036854775806)
,(2,9223372036854775807)
,(2,3002399751580331)
,(3,~9223372036854775808)
,(3,~9223372036854775807)
,(3,~35)
,(3,~3)
,(3,~2)
,(3,~1)
,(3,0)
,(3,1)
,(3,2)
,(3,3)
,(3,99)
,(3,9223372036854775806)
,(3,9223372036854775807)
,(3,3002399751580331)
,(78,~9223372036854775808)
,(78,~9223372036854775807)
,(78,~35)
,(78,~3)
,(78,~2)
,(78,~1)
,(78,0)
,(78,1)
,(78,2)
,(78,3)
,(78,99)
,(78,9223372036854775806)
,(78,9223372036854775807)
,(78,3002399751580331)
,(9223372036854775806,~9223372036854775808)
,(9223372036854775806,~9223372036854775807)
,(9223372036854775806,~35)
,(9223372036854775806,~3)
,(9223372036854775806,~2)
,(9223372036854775806,~1)
,(9223372036854775806,0)
,(9223372036854775806,1)
,(9223372036854775806,2)
,(9223372036854775806,3)
,(9223372036854775806,99)
,(9223372036854775806,9223372036854775806)
,(9223372036854775806,9223372036854775807)
,(9223372036854775806,3002399751580331)
,(9223372036854775807,~9223372036854775808)
,(9223372036854775807,~9223372036854775807)
,(9223372036854775807,~35)
,(9223372036854775807,~3)
,(9223372036854775807,~2)
,(9223372036854775807,~1)
,(9223372036854775807,0)
,(9223372036854775807,1)
,(9223372036854775807,2)
,(9223372036854775807,3)
,(9223372036854775807,99)
,(9223372036854775807,9223372036854775806)
,(9223372036854775807,9223372036854775807)
,(9223372036854775807,3002399751580331)
,(~2727901091759272818,~63043263863692541)
,(3584955686561328225,~526864971415665578)
,(~4808607895575959216,2289860582807500978)
,(1812398375889882331,~6382323170025812659)
,(~5881462790587652799,~2506051339616836661)
,(818739621810976422,~6067232902877909446)
,(6528110469197688963,~5086672938077924102)
,(9027149689486954939,8561400537353379463)
,(162033059326811780,6821738851175694697)
,(1627199279196723741,~8010273754551213588)
,(~6134927166430487838,2847606822048321805)
,(~1137799274290092564,9132101465239354014)
,(8224808236444488156,7036843527978004507)
,(~1188418888403825993,~7924228260128486215)
,(8227992915366923538,~7709404758206442048)
,(~6322566393002747197,4515461572803442632)
,(~6908071651484908244,~6869835354090451684)
,(~753757010874405278,8630664948704142121)
,(2665993843235648069,3028121315977235315)
,(3129496392145253778,~7935262596942370894)
,(~2370673467977177667,~9122364142469990616)
,(4493315524875372883,4329753322532017113)
,(5604012755830362029,~8453602463072025105)
,(~8048368380159263608,~6285090072761533358)
,(~8766796276399759921,4376871707956478550)
,(7650751607410302479,5576331338025804094)
,(~8670421699643875890,1164405673551781252)
,(7774625328127970861,~4546184585515913110)
,(~3216523431342852048,8512003697320335482)
,(4911290682744547313,2994646570820040439)
,(549577894558683826,4308814159490327646)
,(1056039567743907118,7377748054354549899)
,(~1559037670097534079,2734859112486284083)
,(~3863365008310582935,3990513753518979391)
,(~2153057203214526153,~8977111608635162577)
,(~6035109117885869993,~2398634791565294176)
,(~390595208421644159,~1949761513540538191)
,(~7361582278862694175,929546185852395436)
,(5819594484132515675,534173374633379957)
,(3721238493304427488,~6423478444043119956)
,(~7741035473768201215,~1182162681459070146)
,(~5743703215640397910,7541282402150881844)
,(6692400818482171651,~8023949609217609410)
,(~5559397682172412026,~9140893601298979449)
,(7627534138064039527,4337714620439259993)
,(5453016896991032230,8027499069563199397)
,(8569834882222685980,6951895877472463791)
,(4913645121441888751,~8884326850930812725)
,(2313524784772889720,~6345403262220987453)
,(~454163106955644803,456090455072870488)
,(7760499715411152924,~4073414341330793013)
,(1947123217711964628,~8878455620387203859)
,(~989984129216866993,293042910925584186)
,(~443409279050817391,~8761241972441759453)
,(1742627874317980715,~5539825704714025775)
,(~3060030650469038523,~1458474720211315230)
,(~1893174419700833737,~6915545547896686339)
,(6266696306741305490,6109587385551172249)
,(1109407034402288402,~5947147071631814190)
,(~2086292170641593066,~4612182871575721511)
,(5546314580209498104,5014507934776230137)
,(~1343760686927746709,~3020046339224448567)
,(3965014051079082224,9120390179878210460)
,(~7036878636666071220,~8465959904823415460)
,(8747307335607753139,5951072579453123875)
,(6468158206398642880,9191232440334846205)
,(~3657828452450442978,4380637479349875465)
,(81931503486956170,~5186299578039392956)
,(1144991415746624877,~1039555226158322486)
,(4390477350219077755,~7670753315852910657)
,(6645779796294120277,4985908812752832025)
,(243919448231771599,5707470686909258284)
,(~2918767572287253551,7414573719634892497)
,(1952282931104854139,5361258122354797475)
,(~7026673574111557418,6374928960547428447)
,(~8113721527456474431,~2218363224620252186)
,(6602046911906639349,9086835133493912376)
,(~1464401009510548246,~2320674849322250412)
,(5611094921606367471,7332491610152535953)
,(2654746476320819772,3600751791565805575)
,(5736148288113484367,~3861069059785627089)
,(2890183558204177446,~2027150195205539173)
,(~4258381127305749245,~5668033401386220150)
,(~6370750695117806376,8838249769653140086)
,(1730912727036300259,3865823736587779710)
,(6260204165296405502,2338838129363075727)
,(~3318558313856660339,1825295592781750363)
,(8156265313170550180,~4381469054377437928)
,(~2180369446349713248,4797915458568029739)
,(~5751583183716101426,~4609443289185980057)
,(~3672903742816677066,~8826763057213580577)
,(~4274205507478982522,~5227005893723850337)
,(3227504688560419891,~6925888682216659200)
,(8651360540552978189,5855629121199270762)
,(31574483573974870,8640524310794057035)
,(~1143987280182135938,~9191707961562965778)
,(8820481895670021517,4490407047532279671)
,(4799381323727263385,~4659764400772248667)
,(~188021312898561015,7681926862555838977)
,(5919938722785426266,~4319244234890633495)
,(~5222795634822284072,~4823793053432795391)
,(2895723560362011698,~2209500855961021270)
,(~1342389039761445069,~7879101144130474929)
,(4154232618833702947,8333302578382074765)
,(~8451026258440258734,~8708825349846874641)
,(~7462719836580157062,~26471886378379074)
,(4851454022075419613,593743940593536731)
,(~3777164671564271385,~1678322486821633463)
,(~4430287078480406182,~8623151203736203964)
,(~2850542126063875615,~7291401693922608117)
,(~8323090651904939434,~8948778903818698530)
,(2373071010085500551,8632784243745537269)
,(7976088001545274882,4256477983304756641)
,(~1692386382936309341,430201150545608370)
,(~8460656320379475605,5786208804306039669)
,(~7831088586930637155,~4875095717734633366)
,(~8073091551792106349,~1841717819717036501)
,(8451679273924795064,7492943384465064973)
,(~217573340372197643,~1186993558249108063)
,(8227559367995893217,~1299721406283578564)
,(~8192274832528668873,~8738938522221322644)
,(~2158469897459763240,~3605139097480075124)
,(~3849838253014900864,~6173253003860816884)
,(~5241887871840518980,~4494628535649538288)
,(~584513320832948062,~428541257609494603)
,(5072481324839162958,10529831997209507)
,(~3414104637989734844,~874417994525083772)
,(~2118239460437515228,~6971916907820517332)
,(8330397042067976722,2208262669463070330)
,(4409324051270301037,~5924260953657567234)
,(5479048683306733033,6241642519714434594)
,(236667665948625412,727249230899465895)
,(~1501649416095811033,4483677293946564396)
,(~7036093217359044286,3714028183277253173)
,(4701777939786501950,~2465709598849240752)
,(~3554489559391801591,~4968664115869739955)
,(9127281233927209350,4340204254999465580)
,(~1874184880611387255,1872790790880154529)
,(~7586605772278798705,~2765064933161394981)
,(1406410100510398168,3410960650333312412)
,(~1664708078820495345,~1872943608125198371)
,(~1571795252552770225,~1803177389297666138)
,(7314458574975174337,6962309034761452634)
,(7594431753228725985,~2970945922963757920)
,(4693220702358622634,4478427276105732606)
,(7203917692615217966,~422368113897860713)
,(1087960594465574786,2359328511081043723)
,(~1042017642032110085,7111349256985119984)
,(~7227461084653821054,4941477518588015068)
,(8656460428162890097,5099711565310641556)
,(6390831426388133866,~8320286833773090455)
,(~8938406038863530255,3074137002877728979)
,(~4365917887067503684,2098153384647623444)
,(2061858151091348661,4297865277918277719)
,(~8879910528306095666,536756022700076565)
,(~4197490072306621457,3213986261785297055)
,(~3175757907255646810,~192247479247219305)
,(2488211031780962376,~3325796593867283718)
,(~1038682100218949608,~1933184950671303122)
,(1633216845527120896,1363306419299561374)
,(5373018599620488309,4868343880660452297)
,(9148574621134228080,1759552442598347598)
,(4806032340653186118,6618456955358486933)
,(~5053554014400640464,~3374685171163695913)
,(~2460918237336334938,~8189694981700341618)
,(1127148238691405321,~5583334491901428025)
,(~7985163763726110104,5920800309271882898)
,(~6684153774366769316,303406683228825809)
,(7865248842969671776,188514437414409753)
,(2357708654968767046,~8844618783154935103)
,(~1565185525149423314,~1769780222198285572)
,(~5542998530681162952,8667622142265925260)
,(~8744739382310334851,615671789106999099)
,(~1779708507052710892,~8360101170003560696)
,(~6253373226881806443,~152518257021849889)
,(~7577536364820534683,6981602841389570282)
,(~3074444296852914758,6372943051836756895)
,(~2132500815389994296,8893187986896621307)
,(4830371219899153943,2530157579359068862)
,(2005266354845925251,~7492415295281617649)
,(~7756421702014772483,4954131315855940578)
,(1777269866165574358,~407012912168508810)
,(~677002385428853020,~7459959159500388828)
,(3577679991055772107,~2519465362011708572)
,(1275965393873625841,8959692893156885062)
,(2903270624076053421,1488945131491753685)
,(9072768416484609573,~5683919716008816905)
,(~6623133857155175785,~2663402865521868190)
,(4645860042239305067,9087690082732434945)
,(~2488335146928894691,~1376536500001388490)
,(8765748392600135193,~4069534218389320452)
,(1555863823791723339,~8048085372952294338)
,(~7405323902806995094,2288983608896926520)
,(6090596455921809389,660732618989074776)
,(~7782956018460166437,~4914839868552742965)
,(84338448402384746,3054379697246204501)
,(2305458024484984045,7173539041523114067)
,(6404666603765793769,6441205096822015898)
,(~5119479755922055270,8130673495490738587)
,(7191134050319552136,2564809936673501655)
,(~2590042802889969508,3896843936465148701)
,(8185349453202359509,~8619101134354093499)
,(8635600610660968347,4451525379261150249)
,(~1484085799201042347,4225339519109894157)
,(344444660754092484,1584889264176840580)
,(5970497801331988902,~3763412415584359371)
,(~4056984796502273210,~3211793916534710856)
,(5270826400600651644,~9122574339390652397)
,(3760954588314997454,~8774462936011042725)
,(7821269666131650602,2528642119490518890)
,(~5132326292898879422,~4545822886716582783)
,(~6680511989625922688,~2706260320235717187)
,(~8017289694353669692,7839524931823429562)
,(8910349842547712719,4746174491366138898)
,(2111847212993756412,8578637483963417721)
,(~5554569264494492058,5957155879664196342)
,(5208713360931087611,~7300164962390512413)
,(4684354525049495133,6345474440806906624)
,(6415044051849456922,~7597154353146744987)
,(~3925617233671345378,~8340844847819397575)
,(~8519281372117356314,4449799117591960580)
,(~5700377097169864510,964692211882933294)
,(~6624450364929740715,~4911394775590088000)
,(2377012336184410299,864795868903243030)
,(~6154809907156981647,8487775928521587708)
,(4197291733330474017,~193508523760414661)
,(4664009738170751100,1003380194015401962)
,(7979149537908404764,~6096953893479741281)
,(6725576833605613971,~5974426916310653041)
,(~5777024701760474730,~7139248773472838125)
,(2560881781644079768,~3938102059749040558)
,(8198224709451227802,~6767291563880079030)
,(7390303076807863179,~725880966613099032)
,(8699789851897230368,~1516619406792651075)
,(~4113446039965936188,~7216742088967151781)
,(6475328156394214574,~7785322772318061867)
,(~8140829371125362170,5688937596823442379)
,(6031738971418063324,4293893265859072983)
,(3422797625732008810,1898085800202791988)
,(~1917879802865639442,~2059691955380782457)
,(8969311986654512242,~4741177172849941920)
,(2524543052617714657,5865975286950710487)
,(~8350985142865021435,~1527798390173154995)
,(~108964889471903951,~2343871442897591571)
,(8444503608455648767,~7058360809022073718)
,(~6811990557597902064,~7782319856009058189)
,(~7406137221541799486,~1012467081534017035)
,(~5147853125558799464,25698155685097795)
,(970425646088473365,6337779697316508020)
,(5859717935971619961,3887780522009246617)
,(8578461406650756021,~1280021398617518252)
,(5326466822047791704,4452721721851608194)
,(~1795106326050202155,~3395612297641058599)
,(5335627825518513139,~1416222676420214557)
,(3504799960564818145,732157651558005584)
,(~1178866508015583873,3820618454421843894)
,(487391010866710484,~4964497000856841990)
,(~9094910379439978309,8796469529992035057)
,(7155384950940948255,~680295632110480177)
,(6675167963207268408,~580268878822210946)
,(8328515773143945790,~8040580538608154155)
,(~4897582637331518492,~1682698732368816699)
,(~806207120708485672,4537093584572244306)
,(9032300317855220262,7099590329576137155)
,(7457050047286920269,6071119320907400661)
,(~1330729613419696847,~6681220153679284573)
,(6885695186383943215,~5739399199750859862)
,(~3425382047164143434,2084760689254160713)
,(8407668828086013953,4269230829561987684)
,(4200114997803883971,7947471164559766898)
,(1207482960101738434,~692066372884904642)
,(5801261878580579676,8209571057976269887)
,(8757575614539782383,~2267784117762787985)
,(~3121899942196863537,2618162619404233595)
,(5004500714184732305,~3682373286495083436)
,(~5583844873734584579,~6632355966036958400)
,(4204273755453048010,3836791701877874928)
,(6027851451380882786,~8006916206720638037)
,(~4211214894790852049,7758740884276043373)
,(6855027179019013412,3398586228760981375)
,(~4073713384254889680,7336168534736005972)
,(~3655482239392111940,~5711489553117912256)
,(8408758057499887674,~6151231515634413110)
,(~3717625351393979440,2595986124788483215)
,(6138818984271989011,~6190649101916830223)
,(2808573432431688899,~483836703190457348)
,(~4082702242079681427,925390441259925334)
,(~2132929803912096395,~5896683085355099409)
,(4462359456095718539,~2028227316830007980)
,(~6172908302057087361,~3793572052796430629)
,(8831732891237371982,~3197631528508894201)
,(~368127698130524832,~7161841255114105824)
,(5928204308346259933,8177332176017432576)
,(2593742467204013990,~6856186908214364966)
,(~6954910659289570435,~5401590785931799473)
,(~1475073626819519237,3078613220334498436)
,(~2342810991424396633,250457406564039200)
,(8595365705402070166,2010302996818579846)
,(521820533330365461,4596118517361582909)
,(2368916915678901114,~3572973600352713544)
,(1519646797755753887,~2435650428686202488)
,(~7400774673417462973,7074001625077580004)
,(6858279314564358517,7659205896036144462)
,(~3194964014459078139,~7589614285223448356)
,(~2903184652720956890,307904994024489615)
,(186379170179825874,~797918576941352599)
,(~825300255659194394,1222096328638822512)
,(~5033777993927373590,~7776943621762848401)
,(9213481501549424367,~1445321485619873479)
,(5409444421453131389,6184724513056822237)
,(~7232037726983161074,4453183140836767096)
,(2871064634652206963,~7616961343960404121)
,(4391607643714640017,~7864685158827569403)
,(~6034301305407434573,~4880407727255680219)
,(~5306847582642265717,7551947809255264823)
,(~2924351271517296188,9106363858560430215)
,(4270974348617282919,8047657400702001178)
,(~1226928021856210542,~7034538287236480299)
,(~6053433652878467104,8312508269361862726)
,(7776421786845868706,3686832817705387052)
,(4187436405113238339,~4760966505012040232)
,(~6765739562685216051,~1246899979013684547)
,(2762969959248019337,5753567853119096488)
,(~7185395352471187025,~6795213598109063100)
,(8555038340428040411,~76810525759096140)
,(3185382081081044889,~7625661730754796367)
,(~7319097518325268979,6526250457877801453)
,(~6942267577582008513,7036717590232422778)
,(~4272993927676524759,2687207067665465511)
,(6284297959133832635,~1439485642383673327)
,(~4669629504781326901,6890945026161270383)
,(~2431116618007230173,~2592313872482517517)
,(8897400406132769085,~5447119292097334358)
,(~8173785081349591716,1568028984740501896)
,(3246640839733743886,1737884337534023346)
,(~1913321523860878222,2132351384455893918)
,(~4168153693988200010,2302985683142114877)
,(~3299305517234107180,1629713857152840137)
,(5158379040512462666,~8437304675658718244)
,(7070603544948684797,~2581115381066320852)
,(703886580877290843,~7762909794017506209)
,(~6931449593578767263,~6359790427670925789)
,(7845959853887918492,8184879760621242492)
,(~1697210979130074303,~6498531412435097672)
,(~2124519574761083202,~4817211690168099708)
,(3140815025938818918,~4885803020842118993)
,(~5850176930931140312,812747125066805230)
,(3672089271464480415,~5571885044150644662)
,(~4642694515151447786,1244280126481052784)
,(3146723622649712923,4341681605200596544)
,(~8232008003126885816,~2549077920306027226)
,(~9156755707980602715,8189244242350300192)
,(~6042155300933423640,~1456023284280607810)
,(1885410249140109870,4104353147798786375)
,(~6798219367368564573,~1601363248187833963)
,(2207019888938767505,~8704779843689943359)
,(1801085619771342020,~570533195414530906)
,(650925523677544169,3551956399188140662)
,(~2874128294376506384,~8844811350818289575)
,(1152610962869334291,1134251630457555121)
,(~5002181044666556987,~3663801877598628903)
,(3595403769095738685,7638445514134773845)
,(~7569030108977870670,~3295726390503989564)
,(2997177820865299872,3056760657552683001)
,(~2742288427147737023,8119970248547036057)
,(5836348415960953133,5833342311190639443)
,(408452467738183263,5407132159887579653)
,(4967856370100343053,~4271518803742150694)
,(~6235858607060444235,2173407662519231354)
,(~5508137331153076104,~4444428284463911373)
,(~6680513312203688517,~7614239583423933852)
,(~1430015044027339867,984546725257831568)
,(6476346710592332174,~1333625366781792603)
,(4832309512445471036,~2800514065324049305)
,(~7107752701061467327,~9209551974431602711)
,(7829181925587154972,~7614215091063813673)
,(~2806599861922180840,2207423498316692636)
,(2602771010647784741,1306594480805466062)
,(~115864060609629227,496458537163760695)
,(~8778548627946147438,5172587934545946335)
,(312656122960253431,2159838414966774603)
,(557726533777331261,2145997963425480367)
,(1975888540520965474,~6734655850266069099)
,(5106734678719866608,~123219026423504163)
,(1601839455403988369,8950668146991474973)
,(6081081458205449312,~2179440262221913719)
,(~8228389316713724938,7203109985957447990)
,(3879157398548833726,~2739843480345460684)
,(2457673977949685047,~9043134175976699076)
,(~8337644293806956607,~4206267367698635791)
,(8797940133318339289,~4268621217899133901)
,(~504587056470366147,4916135096687386199)
,(361056092911437045,4515442318858471387)
,(3264104967118438416,2720564975448168176)
,(7477605187584640432,804556901174832791)
,(~6404134688227882184,5557680075179548775)
,(7122374286583126976,554704846858160175)
,(~7798709682514171229,~7619048597440714870)
,(~5502675355407960029,~2940704398439990337)
,(9019925000114450874,488283950455611544)
,(5826269470059042182,6905702999975173322)
,(3146631789122090870,1176293798840383259)
,(~8370847989872822817,1363911649330952327)
,(~3186315916065759794,1387415773402572355)
,(~7184650677545108535,~5558414216394931739)
,(6700165250589410470,~1490707169599087561)
,(2617308972240312277,8282795701351959500)
,(7443850338019603299,~710772791174212324)
,(~8139783401239775526,8442591014726901644)
,(~2466033628565813957,1881971316514539947)
,(3859710990825024333,1530177133566588063)
,(7869567300566010480,~6784400365081172436)
,(7743489008551200408,1734917986363684533)
,(~8190425655514262770,~460542297522417920)
,(269892583663748056,1042331078982322623)
,(2321582024034990242,3884199570137475266)
,(3087999770809823575,8948664284347527130)
,(~1068235832411953637,~3171135169097582841)
,(~6500983351800573847,1008719360756127508)
,(4887462926044325512,~4236081908860274794)
,(~1191850563324898001,5785055131341911849)
,(5222043110203793295,~716565187795001557)
,(1833196602211295739,~3691711720128641596)
,(763525708196372557,~3085304158496213645)
,(~527991910448087846,8893407612693617396)
,(~5949267234915634380,~6197723037296085517)
,(6966343898855486865,2204581173062048920)
,(~8649269712321124121,4136416146934932563)
,(~8226597684029125726,2793996695712277068)
,(~9110345185577411238,2533396556142062483)
,(~182195374786825099,~4221674544350342378)
,(297375390985007340,~8270116647931967468)
,(1954740597579371794,~9121876128086896530)
,(2716759309675432915,~970093060369706661)
,(8930444074282445942,8837331166130117852)
,(~4918390481868101562,~3844826865325983969)
,(~2057700288767474140,~2725416233720766330)
,(2219632725613017508,~8852077803255590968)
,(~4585114562407743524,3712181231211789241)
,(~4018868001286910597,8602393826361901173)
,(~8553601145585789330,~182284337025136357)
,(~2488143919026031962,5930318335963877794)
,(6281920115720346045,~1263625006607664160)
,(~2604061804539113427,~6665155607343410754)
,(5403264357763604872,~508016998518986628)
,(~8116252156972564846,~3109911697958631936)
,(7069748368816088163,~9181003445163642220)
,(~2934867739990172793,3888692943289638762)
,(~3427822665715618180,8241260539627296633)
,(2858060646983932167,639462317018644648)
,(~15414446640565598,~8905202445802936454)
,(~9009904537228381454,2684384842760205558)
,(2307158741469593308,754814621550358293)
,(2901504263494535242,1814909501284187776)
,(2732026864312190717,~4655553305849645120)
,(~5010381474987847055,5495939557834283556)
,(6495469335194189200,8650988437640589650)
,(~8173665424557598427,~236292925940529506)
,(~7080338104735455727,8522370549509598993)
,(5661870491394169953,~3658786250458105866)
,(~7628885595203923902,~7653060002166945503)
,(~8402034273733455865,~8554219439116064482)
,(~7861645902367288474,~8518958451885494465)
,(3182814294502069141,~5812848225270186142)
,(~5137308099946992563,~6181762900901894336)
,(4288453496995577379,~988193228017254764)
,(~8151796319588060116,7043396481407742157)
,(~3030573838310679820,6691823860628110053)
,(3463591858781358764,424531038284967245)
,(~7673999472853450475,3891810113791619700)
,(~4753186536190709523,2779590839714761534)
,(~1444232013262118827,~7503853456394061999)
,(~3932520966965023048,8067018023509113413)
,(~6115474916143695940,7728676975562102964)
,(~6813588144764258465,4305387278102445346)
,(~9110235204126994278,5293518210594325781)
,(7472551588664218660,~6676037043699403759)
,(1006885473405158151,4152284948805576485)
,(4974830871971482144,~5488429679447304979)
,(1763362896512789472,8840769222495525910)
,(4554929653354856092,~3418297084928103211)
,(~3839985938796522358,5557854225032548419)
,(7370190634840361088,~2864607630006740564)
,(5649451528528261824,2523470447007157095)
,(668412324736057255,889253358627904080)
,(~5436855055314558695,2604645966396229778)
,(~4232959048792778737,~42541359803249532)
,(2988346441814614411,~3474137761161669782)
,(3435498513299829325,8927233456390011163)
,(~5535392558702977676,~6236012736615619550)
,(~419255134833212273,~7060292677630729213)
,(~940672079675314866,~473494515955766092)
,(4155669988769669411,~428044326552248205)
,(8055459301774811752,~7756134496370634171)
,(~1367106378557226826,~8295416891806243467)
,(3643569828196785724,1186756434482755696)
,(7590781904615312003,652803510191840671)
,(~8369393876728097580,~2924603490785085869)
,(~4920973152290489128,~5959722164687498690)
,(~444305287087436451,~8101805332859334538)
,(7545858860448589334,~5042304012229798588)
,(1386696615486548774,~4393014625651565529)
,(~8879648389861109679,1692744516325260231)
,(~4035989406541242572,1858098728307685359)
,(~1782801860977893567,~1973388081178706980)
,(~6742322409531529777,3198915259840934862)
,(~2899919328872907239,~3943272588119999018)
,(~5159404567357581337,~4050855581005252174)
,(3672761438552353998,~906630108301886060)
,(~6366605751252278838,7704316730015845903)
,(~7207551976724182163,~6911814068517775171)
,(6945606071639142466,8871323372320214503)
,(939321013817646443,~9139945612978849721)
,(~8805572790901508134,5405500604272612426)
,(246512712880270029,~6732786715250262227)
,(~1651501369737848914,~1297229502625411271)
,(~3969428350853671599,4974095166149465997)
,(~1398655009006657264,~2114186553803017347)
,(~5071138391186345147,239087310798645654)
,(2928568678899369272,2156840091427876657)
,(5561200021119691514,~1429435433852616667)
,(3122834228609370451,5896459449812140867)
,(292362174124055491,~5801922392093269760)
,(823981750020889223,~4335660076432919172)
,(4176090820448794447,5742657538011979149)
,(~391614722703627853,~7304047027356687785)
,(7755587991209919066,~6055163671934253354)
,(2493193205076679742,7420029051668211533)
,(~95329683710886676,3496906407652313551)
,(5413409246477185964,4427666371667102614)
,(613027283881386369,7533375866372801355)
,(~725449810400247560,~4867293662475241854)
,(~2018391056157405083,6459836218426154024)
,(4633343217246869732,~3461125432435900334)
,(2917953029867684294,~635578748513694697)
,(~7052337813479730351,~1581150322326181273)
,(6462648567611832485,1980715084072238629)
,(~7001761373668944327,2110737014676502418)
,(6820404088135451414,6893729826955706751)
,(7150073018441202962,~5361248469663454806)
,(835808964229219261,6290799701991475222)
,(~5171343538813576161,~6460357545015981765)
,(~8216629625670573112,~2667850828088393032)
,(~7721218062286892834,1050560303662497191)
,(8731184207436639772,8070441024090602679)
,(~7999336578790855548,7148028855571697943)
,(6293857406338993261,~1138260457625433873)
,(~5744505225798742417,~8900605661313362552)
,(~7451083723719867093,~5432204635007877295)
,(~4868659162684540449,~4571169626014320057)
,(~5509678382957757342,1786207112809564836)
,(~6068642937316110040,~967512354263187487)
,(6830527165493834292,3470060932288844643)
,(~5391909337337788277,5920848579906433323)
,(~3189791764718887810,~8004854499984404454)
,(6219005937537295282,3645670562293793171)
,(~1303816560800578006,6657683391234625091)
,(~2812403020921898541,6642993577441407792)
,(2932103934877608786,5004043771117086878)
,(9075774581839974734,~4005980764726361040)
,(~6614430583608951658,4409104905775896968)
,(3058973258522911255,6979310888633178384)
,(9035200532020740935,5636162716342403525)
,(~6239367357910857058,~571417275496289354)
,(7671284739054805782,~8511714743642167579)
,(~131796916136989408,3456157037868536036)
,(4240095125537584863,~4387812717075061359)
,(8669910022226731471,~1223402457338058877)
,(3307182280891657928,2621110801062917723)
,(~2298770068087691494,~4916986072189174272)
,(~6806544957364563859,~6452544308260427992)
,(7956680632116993535,~2735732961226206020)
,(7499674175518306779,~231790035759731608)
,(3452779744277970227,~3883670486937977974)
,(~3436396867214623993,3999919741493259220)
,(4081280661473549694,1132448489904821386)
,(~5178698183643474929,~5118289657867908177)
,(~4025396100426052331,7657208363968664023)
,(~3904951337391445302,~8488764502174408404)
,(6530260579080866302,~1772983393896060505)
,(1392392039809998063,~9168299058538959909)
,(~5775905462144357294,~3867688332676258747)
,(~238218714749699039,~8485672702328588340)
,(~5312124016103340538,~4853300889617916744)
,(4703974108036270828,6099250820933134908)
,(~1674478326305996357,~7439463625438237638)
,(5312449005219680938,~8943689707952641348)
,(2382921279130237300,~6210761531191467567)
,(~9105049511428894116,~4611580980585427430)
,(~4952400956030690948,~3594056459653759510)
,(8448530299184361548,~5910134385647671472)
,(7290912425924106754,5577689043822688330)
,(73950624089921207,2759546781648134461)
,(~1162771180405768612,~7995655163787604661)
,(~3705617922753872508,2014733059208092192)
,(~4609485985284237318,7284697248743245381)
,(~4108115230629839998,~9135427607880231807)
,(~6967622076072689553,8652242373409030913)
,(~2938417410275131849,~8600775405650216952)
,(~866085156335923523,7582111039237309150)
,(~1813376531945817194,~9123363060661815744)
,(5787752678695929747,9191858520604216665)
,(~437183290014086031,3160651501837062805)
,(~6620073598350799939,~8455703283911848720)
,(~5534906033086149316,3965559529195778271)
,(5070740336189814413,~6012900890620798920)
,(~1620910543534893098,4059251308456014738)
,(3261616667776440503,4087805394449007431)
,(441284820077565549,6984163409001415320)
,(6375336747339303038,~4690438269184963639)
,(388657830574590713,~159118611390008230)
,(9070078839334544558,6841917953413944633)
,(7691088757772833477,179642285101064142)
,(~1189297813263951966,~4865315360639226482)
,(~545857369593901272,4203233429637370715)
,(~2450996743596270226,2833987684637279306)
,(5951871319164726027,3657068324025237364)
,(~7801071700121067395,4098800976162935478)
,(~551295934568859988,~8515009098816832011)
,(~8017059498009361575,182555676366432178)
,(~765364092119401243,~3073384702965477364)
,(~3278135758098357419,~1142448508010613787)
,(~484353213761335771,~6100517765677345570)
,(~6503955903342366480,~274004162688538266)
,(~1948553807081079597,5955486393672617077)
,(677956873726465286,6130500711905217521)
,(~5278251771320570540,~1627607375839212786)
,(3419267174582487055,~787313644056227069)
,(7151927600840067990,~7536260989600007182)
,(~4576668349852876665,1578625811097937206)
,(686852089610687304,5647501506280764139)
,(7070515847411101603,~7292562889199661567)
,(~6436107404196982577,~427623868366754581)
,(7881483826684923566,5973835896208248368)
,(~6346999355366537990,6712398062400370413)
,(4035692404007848779,2330996240308382380)
,(6401456019337867105,~5402250225746487178)
,(2479209249134541199,1186191510284798225)
,(2733780360366682370,~1753530661479272619)
,(3283254575305919740,~1399731453996836020)
,(7009589166961007200,~4996350798632969095)
,(5898456449931403754,8424476254940559382)
,(7067988188131698407,~4546707514090680683)
,(~7640843438183103167,5584888091889135963)
,(~5623979471850832497,~4651620827569511)
,(~5428803949560336606,7601045725984624995)
,(7153989989100760691,~2549494817720569488)
,(2152897117320008542,3855961536586493590)
,(~8233083887210487245,~7303090798423262710)
,(~2064205290813114219,6325224680463310872)
,(~6633043609499635484,8148634279817793546)
,(6780679689594169847,8952620153950179639)
,(~6681160102035622116,5448820693151896564)
,(~175111814189966741,8589987954166203887)
,(4329700120269415933,5432265941223010884)
,(~149820567476989890,~2790316605547098493)
,(~5203222602779359007,9035244602361294805)
,(~5078626824538367193,~3336815125071364493)
,(7771057618137832798,85889876316362430)
,(4843051727748363041,~7672134444473711038)
,(~6468274372467273439,~550789157060256396)
,(6206985466694791793,6417228622994280152)
,(~4197000996566398805,6280747628105025733)
,(~1592041423335955086,~8071102506886264472)
,(~7713298603140534401,8502140382087483267)
,(8852676697042576241,2536622098894762383)
,(~4426776664028237737,8352841442683410192)
,(~5414194568473203972,570435092014477910)
,(7069840121499326554,6365446503593593462)
,(~3006002340720745495,~2748375101877201936)
,(7026403626772425896,~1240813052865611270)
,(5815020181648490634,5516963391991733225)
,(~3117035519919086934,~7199444565651844167)
,(~6705118408047210331,~2105839948356061834)
,(~5868103849515821156,~2867526430356236104)
,(~9116711896194155702,5689789063339257626)
,(5019570224268249875,5544702838744266704)
,(~3142650675632358674,~8955160736597922534)
,(6967577477372539960,~2995251866280748041)
,(~8231667850968820060,~960832486988466018)
,(~6417542297317580864,~7776671155528793737)
,(5479189916292862226,3287726026260709373)
,(~4942539125826066203,9213625498851899104)
,(695948713107836572,2011978761140948338)
,(~3797572175753622621,1220795564563428837)
,(~8142759918057666430,30848711734157970)
,(4534563312065956689,4346402967014438980)
,(6500137520242229767,5959654435420333322)
,(3374161414588447134,3049222100084217618)
,(~4896751514530207521,~4166636067564247111)
,(1220898250205072516,~7635947469196261166)
,(~5557672476852316740,3530267692766159362)
,(7000944468097765862,9063028004108045650)
,(~2445751868244837185,5111953693688514707)
,(2085886463136896947,~5848148572948940459)
,(~8049079126379476935,~193995811996523379)
,(813557403427267384,~4058752825661671189)
,(2349372410699822398,673510798728513224)
,(4638314468411919103,~3320376876369057781)
,(7961961924081790606,~8640014900166381243)
,(~7498715646441691483,~1439603220699462741)
,(~207101205022273199,~4421018083586936201)
,(~9033852195824981558,~762595482543459836)
,(~5437885301341038061,~1285977883192496913)
,(~3573494794671365812,~5753354044827010028)
,(~2082769381117804823,419930059650690307)
,(4459465755574819746,1977543631011707298)
,(1712322199380995731,8251161656696534429)
,(2511466180683496879,126402602028943407)
,(2189430017470356648,2525817676789393889)
,(~2178415555586760202,6534179070156304860)
,(6587241947538447271,5652741122393587302)
,(~2506999459542421484,3473820631009412845)
,(~4353328834415808881,6153789618241845228)
,(~150981002326557595,~2835895405164128709)
,(~5712327637376558263,2870607307944239929)
,(8478727112462905037,8037265412117518913)
,(~3157288436163335702,~165476784312723297)
,(5177325196067240085,~4381219768012779504)
,(7154516112159608926,3660183278700028836)
,(~8060484932889333102,~6633001668167765448)
,(~4041332629501424391,~4352259728216545613)
,(~2935797402288473758,~1011420262124836025)
,(5273064935195047347,569999599534342918)
,(~5436325806093155349,~3929856284255187558)
,(7573760038925488028,~6558567994299603603)
,(~1531809581293497431,~4698113729028512395)
,(3131343044269115663,~3340244139278961153)
,(~7678196254972863626,~8549260237699311461)
,(~6303319247678915717,~6976105622632111935)
,(~7949088747604848563,3329143239936502437)
,(~7737924659607270327,~4935000317812286644)
,(~4204437446156051464,5503995215142825115)
,(~7400839466875917319,~6731191008419378679)
,(8306551112388134822,~6415979982405104442)
,(~2771746578392947336,~3043651417061746068)
,(5734823966400461478,~537319145632489525)
,(~8517304979234953644,1376109713494889311)
,(1124300825107967657,6911039292608803854)
,(4478870326911060665,~7207875384185652669)
,(1701866139577120137,~9207658476097426364)
,(~2564926589348830723,1336254841514153911)
,(613735113905253010,2176214621909523018)
,(~1951689749164720855,7406261635478407462)
,(6253415377687727727,1708128075629540662)
,(~4582174620972295512,515237890555481103)
,(5091650444245267095,~4197023084371144094)
,(~4207595686199942572,3964938189738851093)
,(~3608970327124840243,2455196094056399344)
,(5907638312221261818,~3114601477262049053)
,(~2124287809868306678,~8576151079237372052)
,(6629785042210844498,4104109758950587281)
,(2691476816278426469,~6132245068352687069)
,(~7855772693050687266,~6645829541328833346)
,(~8231533922027098667,~3740049689059798864)
,(8641799843308707726,6868367338441240170)
,(2755786803444226895,~5137747466328987283)
,(962422170015598609,8542965239376196784)
,(~1436688531685217962,6739711722899588778)
,(7696289322240052908,4536699052133744724)
,(~3794588222983662731,~3551700929667554142)
,(~5823794237961563069,4301185952691002243)
,(2216602556562364651,8307663532159544688)
,(~5592110102747968251,4985582749634364)
,(~3184401232369264940,2733405854066402618)
,(~8441027651259046769,6713538002068640184)
,(2656016421425535908,~5729218092058393367)
,(~5370464658030688106,~2417125065873561506)
,(~7490371822870246038,~3094383812354967929)
,(6981208446193246654,~2989621817995469086)
,(~3167038128686256980,1101042057842780996)
,(~1869291273586725587,5519228736418935904)
,(~100540667482945390,~2117349871293313630)
,(~7595115401673190240,~4942586206290196831)
,(5425321515346273239,~1204419735665879456)
,(950475448252997261,~5044382592325539479)
,(531689787958760303,3035758116402782705)
,(7167528515174764112,~673421142702198797)
,(~1164330220898280557,~6088132176984289003)
,(7510300713830461036,~116962466184516021)
,(~8044405410347033223,~191852667061760117)
,(718389240371820188,~2527648276459582650)
,(1942503237749422661,~4756180820386126636)
,(753020299703429575,~2942284609710033144)
,(~7069598614696350152,20057926898956947)
,(~2793387503466261712,1185696435942924688)
,(~1146737657013476722,~9184349917227593296)
,(5707956893428427185,6525982596462794828)
,(~1351586146043905176,2143581599531248527)
,(1634347930536770616,5328868598457237844)
,(1774664037112774603,5310057490718292444)
,(848636679732600533,~8612054728261477466)
,(~5410826502665059981,4292702962235364528)
,(4714755587979397294,3734989552655036053)
,(~1488029137072348475,8732253940164393533)
,(3094833834412337436,5675938934345095551)
,(6682870710657802058,~4590999437110938144)
,(~7689114506058550580,8486765618439646248)
,(4324945427270871619,3019716683639335596)
,(2067865922420644590,~2017559160204512274)
,(6043326441317195823,~4810104870746290808)
,(679379548147390380,1195693093019034890)
,(~573966412367757771,4057094865633582138)
,(~5343555572661109345,~5247851448256492775)
,(7472097525598512980,~1881701437019801740)
,(489645482792437611,~3586995604464994841)
,(~6836467684281107104,8560854971835635992)
,(6832454683789358986,7611507654411448034)
,(~4093241335559958393,3124918132656402873)
,(~541992201623837974,4185983342825696537)
,(~3591383408352157251,888122630182319179)
,(429823387786326545,~1100269327191932283)
,(~8609460715083883190,8441653364344252507)
,(4537021710139036022,4684839059192365193)
,(2735993517354453531,6447795624279223238)
,(6619457130343034401,~7497637557228204514)
,(~2384273019918961286,~220602154821442743)
,(8508055654707152869,4599879928989540745)
,(~2189853600392364659,9035832469078550342)
,(~1960848181149833932,8571972450365278720)
,(~419262836154440057,~2762016324453682494)
,(3894988768882683446,2525811693982272077)
,(3565109688972782312,~2802962680213497016)
,(~4172305939657512504,~56065474309075722)
,(8226353914853663737,~7297769420041224418)
,(~9057856588321139437,5875460863382386988)
,(~1575963318782812546,9124652903451258240)
,(6529815789738948889,~5512382177873412218)
,(2045735700456121885,585526456016716390)
,(6525280486426571626,~6484310735648419226)
,(30962068263099519,2537885923727399385)
,(~3253866407678054501,~3184180369520671254)
,(~8959876928455452457,606072686275611020)
,(~3002444961005063726,~932064106654437282)
,(6748826141007172034,~824407841905550601)
,(~5722063490180128580,8442913660620251363)
,(~8665231591786376608,~8587587768015051269)
,(~4271794032057356084,~8313157274662457720)
,(~6980592998496823097,8274444836325540720)
,(~2267619707159238396,~3726180833616292709)
,(~4858951376457835687,~8185306116030358901)
,(8887568794054736678,8793586626093714573)
,(1098556007952617265,~9014297963717345983)
,(8381128848168085669,~6109418307773526656)
,(3916614526110061922,5539960589586098041)
,(~1962162477515418828,1251280459828790432)
,(2130125971888697903,~6516695515015525280)
,(4065925845794760889,4423126438908024625)
,(~8544630620220369340,6775578493893727518)
,(4278500311344524543,~2127337452368766593)
,(~2879084259164761895,4349387605376781165)
,(7113669027105956314,669732553292747709)
,(~7590753322268014548,~5058088895117635630)
,(~5621899920691408283,5949181670488488709)
,(~250059112754156516,~1846868953142075514)
,(1972719587869139023,~5206729092371125948)
,(~1932257310518029082,3985579116498090476)
,(~911469267421217786,8054223030151817042)
,(6910065341336805213,~7565944829004168680)
,(~2507308120308165558,2000778350726461860)
,(~1664411495426502077,~8400739683108438360)
,(6901340068239555977,5012197198481218184)
,(~8597401958050575276,3841900219584576228)
,(704268167762790278,~8997864371403588028)
,(6754387914092008170,6194630813928629860)
,(885040018523636368,7336194534030004339)
,(~1503233999575496655,3380513763898177565)
,(~9032682814990295489,~3674013259661762150)
,(~9029655670117213564,~3404269820210077047)
,(~2886045555891445714,6515700961857917254)
,(8621173152822001838,3492907298627549961)
,(~4090119883540986979,~5363940406765552525)
,(5143393037303778739,8141970483963273432)
,(6361968398384013952,1037629447778791917)
,(4159578948936500766,~7179149689028001095)
,(3814214261346385005,8712932194332916633)
,(~4863085258953728217,5643141347555246647)
,(~8814968957713196969,8759387051615858983)
,(8849005613316656785,6955618731852779160)
,(~623329305070984491,~174086572425691268)
,(2376453144333303292,9005802615607673074)
,(~3506867138934170716,4989078715795206316)
,(4854458217101541133,~6596177138605642919)
,(5764478198989803604,~8076112589299333030)
,(3132888244310267222,~4615525427590051496)
,(182817922801454972,7426523393195416619)
,(6622644774579463068,~2126517315613545558)
,(~8775535546911790619,~7075919555525463243)
,(~4271748495349059429,8420725205932278210)
,(3523565271492050304,~1224720063558992939)
,(389199010874603623,7241784966056470564)
,(818049216148033148,~688845523850342363)
,(8708807879246565214,~3940082001644493926)
,(~5269585057335122038,1841341927664492685)
,(~8688748334093286353,7345365117657760040)
,(8373323971451945693,5930627741161214461)
,(5992765593285682240,6163864945966822256)
,(~8171260154825777237,4248705052423604313)
,(~7852722884409783837,1417387760669610931)
,(1412739820141416166,6450057080788325860)
,(5176715052138969450,2249327016701553979)
,(8621254841858765134,~8413368679633621072)
,(~7984919206795201432,~3786377690053634624)
,(5052032688214722806,~7123125054493419003)
,(~8804930154991976010,3350529647091102071)
,(8163120906868435516,6594817165094153068)
,(~494733839825055543,4893926722953574956)
,(~8681531063882650833,~3284550430467939725)
,(2370215634984492936,~2683109010846580131)
,(945173831381925012,~5335730793146131349)
,(4656755136830892963,~5978908819380909687)
,(~468393131174230115,~5405918183399612049)
,(~7864934768323985204,404605081723731775)
,(2995495543168677096,9107309249703147158)
,(~8837897364925677314,~3172047695575208908)
,(5290808853985512,~3289569139602104454)
,(~1450274625744289177,6301940407158415788)
,(~1175320199390546878,1346155866964088004)
,(~8393998674374533466,~8335493490420568557)
,(~8875720831834645658,310289827003342669)
,(5905040075242967747,~1428254105609442464)
,(2365119035765822610,~883735789889592368)
,(~97514379369012851,~4642588464911563089)
,(974088389021375890,~8043225745126835459)
,(3486950773153681850,4728703821898021564)
,(4744980945242684039,665605656627187418)
,(7327781836377572908,5207103499853760265)
,(~7423898220399455029,~5851368896676178651)
,(6277655631214505854,8830108709623676133)
,(~8701332405700576856,3469288528554970200)
,(~1047873887473696357,6417837444659181616)
,(3582827384868493661,~3497259386880439796)
,(~8077666958181259730,~3044245263553143805)
,(~2374763371323637081,5164685163156528101)
,(1216684240687045978,6492142403820323526)
,(~3154834892413366462,~9052290754237593039)
,(4417478498210915852,~1781429436567914524)
,(~7707518311443595045,~7715298305933347793)
,(8875842651374749883,73296050917788858)
,(~3859868359330094978,~3247836428935013515)
,(4718286772475389153,~4424107101108987250)
,(~1453438412464999696,7192810795091393642)
,(~5838849794165915130,~818400925217797596)
,(~7296597981675067537,~4353536056488626088)
,(~3815227523489832764,~1504083328130350417)
,(7386067894308508996,~5988660949982420110)
,(~6142434622489844645,~4486751248777164963)
,(8004331423158905098,3495096330500505560)
,(6724067737374078118,~577945251367033684)
,(2827360344016917148,~7386466675764754284)
,(4387866911489099116,~9166441625708487438)
,(~7349403264997254835,6698158505918469289)
,(~5234858233238901501,~1605337150325721922)
,(~3407343862429010452,~4228008932290100584)
,(~6891107193185332984,7478178258506026103)
,(3365484772918814648,4103905572241904527)
,(~7155929887009999919,~4669550246533193861)
,(6105688401760758384,6428920282324492835)
,(~683194398929272742,~467656434672475837)
,(~3529864450328752005,4877787160969552473)
,(6424525782953676650,~980250841467847702)
,(5890095177138601996,4809209121536322361)
,(~2563498759414592239,838656009922318136)
,(~8290398761673874282,~3550344137716725233)
,(2117206490841765651,~5492725529894330469)
,(~7747200978215976799,9217463587238019477)
,(838102978252595591,~9014983164518212664)
,(4315098243484598458,7798157901647454545)
,(868309776612912816,7235759777263174832)
,(~7431115085953136715,~2736895444490281369)
,(~5683055798229529837,~2179123832880444395)
,(~4161078646417000977,~5533554868820716206)
,(~271198438193970009,4489930606213366433)
,(8901586032763745029,8249482925673147238)
,(~8859457528108777749,~8401932182986096889)
,(~8945811112879837636,~2321477125120846011)
,(~4335956240080403870,4027265515999547702)
,(4417037487777637178,~5124164232896469893)
,(5860895114557197014,~8892952734083556162)
,(~6694910727969283087,8911086554306259196)
,(2487776925670979562,~1855455290130198455)
,(~213386759967196890,~6988211733064694397)
,(5038309889078116712,~4392361494783440198)
,(3231714263019426878,~2375080491020442824)
,(8923594381143593498,~7567943758937871321)
,(~4475087947717634585,2871794195600143265)
,(6107040614441025652,~7141618678401144473)
,(~587628179196911790,~911179901712415028)
,(~4626015713512393200,~6662833437868013054)
,(~8329356185675717101,1758672039904793915)
,(~1648995227108824728,~1858387673744707483)
,(~835923591756682923,~4610308227089064)
,(~7123186808077612453,3770637266498655988)
,(4486928359747163409,~6635547477938208417)
,(~3557812840988196449,~6156605892227660148)
,(~1571607592240948491,~9109582469120127580)
,(~1223424448237814954,6404668391008255907)
,(~957870888624367324,4731090872123190581)
,(8967618042846696014,~6549396695636604861)
,(~6769566647798354898,7745864598740853691)
];
List.app (fn x => (print ("fromLarge " ^ LargeInt.toString x ^ " = "); call Int64.fromLarge x))
[~9223372036854775808
,~9223372036854775807
,~77
,~3
,~2
,~1
,0
,1
,2
,3
,78
,9223372036854775806
,9223372036854775807
,~7947824002859474384
,1193936995113157271
,~7110652925265813409
,~6496926215936148721
,~4614367776847036208
,1850897169482479058
,509737257686032273
,~2772742842632298985
,~1139149793746111861
,7029692886760155231
,327498237968141812
,3031593395343589682
,~7179805312085230917
,6193593849842283397
,3871230490118179214
,4538817041780162345
,8124990645564305144
,702451779647042142
,~3358434931760390820
,2891719719242554971
,~8046407152273046291
,5771199930553428095
,3243921614685045826
,~7762758786496394743
,4118233014419097931
,~795992041497836901
,~6791610884555272070
,~1342490884218138088
,3779415002625531537
,~2530096631792683808
,~3390033792710642358
,~2858492861159733086
,7111419840003670754
,563311533319309035
,~1626964330833580513
,~8692633920563937368
,~4294850773418626085
,7088447490193140258
,~4084751949466950190
,3527977148986537661
,~3468254136594187192
,4796421489741611627
,~4147906269603042320
,~8071377559030702723
,3943381502539243158
,2383404150639911864
,7179134047336623991
,5878452447730771359
,~7496875681249546251
,6130151216669122598
,905165036736800770946
,1006648385983115760807
,~143318694963629289324
,~934917660076139931632
,~1162016645476837474402
,939489817978142484589
,786738276361844731710
,334295726738900094939
,665953944616164359353
,707369153648971165516
,~876015862225805832186
,~756802470484594666950
,~1148459940957435807858
,~740848793915663084627
,~1145011838055122304944
,670879598237097208289
,~659438524350509627162
,1141656549598508940300
,~842133798898024745451
,929428991268423785890
,382359284681323584976
,79535187976143465180
,~1075368470527217077672
,~258439518336040355032
,~474775190614159090197
,~314988658772977925480
,760153417412958049237
,~401168304858793625186
,798158720202736616950
,644510680387993529387
,~1180547248730942660611
,895250430495875768366
,~1116245315108285114955
,~1023313511134132896922
,~1151745708353202474329
,81053825902099633669
,~426828439103687878367
,944783706001826996469
,666716601015037801508
,~1143152037181592959513
,200708148601592546153
,411133063911994327255
,~463512518524806464818
,~827085769902834016538
,~1104008814724004668413
,~674397826706081477343
,~701610136895942766274
,~733807407324732350222
,579226357874200239337
,~877331298563180788005
,245285361848730444166
,~393084950567550382082
,~455237843356799258882
,210888252577929967637
,~1161988357698303313146
,~956074560283469708260
,~1066701393277389076576
,375296938722214110589
,~342275612333317333728
,564554206798704361135
,338158341983783542172
,~712720504147860171236
,~458943496201663067529
,~233937886618977751344
,489175853596768811504
,~883253652998104437176
,~909520386699943367671
,222591795539890363934
,~1148892281679012678590
,151505539378851557154
,~195688963034504185836
,428498309592913602332
,~499094055823725020649
,~1137112659777224134984
,~702819122197606979082
,~437245179710622299863
,691701122756945753796
,~599147771445647629345
,919440361311408649161
,~288258506957738845086
,837649320305850469294
,797747668275844087906
,~335466086757276708622
,20572530526951916195
,~747356012705883825832
,257831200466225921882
,36732996225804703026
,598047047043597963959
,~447049577263457757765
,93129222204461588301
,~878170349439503978104
,3738899906250711709
,684781547526939732522
,~1132693755055575270171
,338798687899708201818
,930155061072867581891
,~655712179879043496786
,1170100713028893854029
,~787187633499516746498
,~581734017678222017235
];
List.app (fn s => (print ("fromString " ^ s ^ " = "); callO Int64.fromString s))
["-9223372036854775808"
,"-9223372036854775807"
,"-77"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"78"
,"9223372036854775806"
,"9223372036854775807"
,"-7947824002859474384"
,"1193936995113157271"
,"-7110652925265813409"
,"-6496926215936148721"
,"-4614367776847036208"
,"1850897169482479058"
,"509737257686032273"
,"-2772742842632298985"
,"-1139149793746111861"
,"7029692886760155231"
,"327498237968141812"
,"3031593395343589682"
,"-7179805312085230917"
,"6193593849842283397"
,"3871230490118179214"
,"4538817041780162345"
,"8124990645564305144"
,"702451779647042142"
,"-3358434931760390820"
,"2891719719242554971"
,"-8046407152273046291"
,"5771199930553428095"
,"3243921614685045826"
,"-7762758786496394743"
,"4118233014419097931"
,"-795992041497836901"
,"-6791610884555272070"
,"-1342490884218138088"
,"3779415002625531537"
,"-2530096631792683808"
,"-3390033792710642358"
,"-2858492861159733086"
,"7111419840003670754"
,"563311533319309035"
,"-1626964330833580513"
,"-8692633920563937368"
,"-4294850773418626085"
,"7088447490193140258"
,"-4084751949466950190"
,"3527977148986537661"
,"-3468254136594187192"
,"4796421489741611627"
,"-4147906269603042320"
,"-8071377559030702723"
,"3943381502539243158"
,"2383404150639911864"
,"7179134047336623991"
,"5878452447730771359"
,"-7496875681249546251"
,"6130151216669122598"
,"905165036736800770946"
,"1006648385983115760807"
,"-143318694963629289324"
,"-934917660076139931632"
,"-1162016645476837474402"
,"939489817978142484589"
,"786738276361844731710"
,"334295726738900094939"
,"665953944616164359353"
,"707369153648971165516"
,"-876015862225805832186"
,"-756802470484594666950"
,"-1148459940957435807858"
,"-740848793915663084627"
,"-1145011838055122304944"
,"670879598237097208289"
,"-659438524350509627162"
,"1141656549598508940300"
,"-842133798898024745451"
,"929428991268423785890"
,"382359284681323584976"
,"79535187976143465180"
,"-1075368470527217077672"
,"-258439518336040355032"
,"-474775190614159090197"
,"-314988658772977925480"
,"760153417412958049237"
,"-401168304858793625186"
,"798158720202736616950"
,"644510680387993529387"
,"-1180547248730942660611"
,"895250430495875768366"
,"-1116245315108285114955"
,"-1023313511134132896922"
,"-1151745708353202474329"
,"81053825902099633669"
,"-426828439103687878367"
,"944783706001826996469"
,"666716601015037801508"
,"-1143152037181592959513"
,"200708148601592546153"
,"411133063911994327255"
,"-463512518524806464818"
,"-827085769902834016538"
,"-1104008814724004668413"
,"-674397826706081477343"
,"-701610136895942766274"
,"-733807407324732350222"
,"579226357874200239337"
,"-877331298563180788005"
,"245285361848730444166"
,"-393084950567550382082"
,"-455237843356799258882"
,"210888252577929967637"
,"-1161988357698303313146"
,"-956074560283469708260"
,"-1066701393277389076576"
,"375296938722214110589"
,"-342275612333317333728"
,"564554206798704361135"
,"338158341983783542172"
,"-712720504147860171236"
,"-458943496201663067529"
,"-233937886618977751344"
,"489175853596768811504"
,"-883253652998104437176"
,"-909520386699943367671"
,"222591795539890363934"
,"-1148892281679012678590"
,"151505539378851557154"
,"-195688963034504185836"
,"428498309592913602332"
,"-499094055823725020649"
,"-1137112659777224134984"
,"-702819122197606979082"
,"-437245179710622299863"
,"691701122756945753796"
,"-599147771445647629345"
,"919440361311408649161"
,"-288258506957738845086"
,"837649320305850469294"
,"797747668275844087906"
,"-335466086757276708622"
,"20572530526951916195"
,"-747356012705883825832"
,"257831200466225921882"
,"36732996225804703026"
,"598047047043597963959"
,"-447049577263457757765"
,"93129222204461588301"
,"-878170349439503978104"
,"3738899906250711709"
,"684781547526939732522"
,"-1132693755055575270171"
,"338798687899708201818"
,"930155061072867581891"
,"-655712179879043496786"
,"1170100713028893854029"
,"-787187633499516746498"
,"-581734017678222017235"
];
List.app (fn s => (print ("scan BIN " ^ s ^ " = "); callO (StringCvt.scanString (Int64.scan StringCvt.BIN)) s))
["-1000000000000000000000000000000000000000000000000000000000000000"
,"-111111111111111111111111111111111111111111111111111111111111111"
,"-1001101"
,"-11"
,"-10"
,"-1"
,"0"
,"1"
,"10"
,"11"
,"1001110"
,"111111111111111111111111111111111111111111111111111111111111110"
,"111111111111111111111111111111111111111111111111111111111111111"
,"-110111001001100010101111101001000111011110000110001110111010000"
,"1000010010001101101110101111100001101111010101100001010010111"
,"-110001010101110000111010010100101100011100011111001111110100001"
,"-101101000101001101101111111100010100000110011000000010011110001"
,"-100000000001001100001110000101110001001111110011111111100110000"
,"1100110101111101101010010101101001110110001110111010111010010"
,"11100010010111100110101010111001101001010000101111110010001"
,"-10011001111010110000101110110010111100100110101110000111101001"
,"-111111001111000100101011001110110010001100100100110101110101"
,"110000110001110011111000110111110000011011011011110100001011111"
,"10010001011100000011110100110001010101010000100110111110100"
,"10101000010010011000100010000110001000111000000000000100110010"
,"-110001110100011110010101110010000011111010011011000010101000101"
,"101010111110100000100001100101010010110111001001011001110000101"
,"11010110111001010111111001111010111111001001111100100110001110"
,"11111011111101000111100000110101000011110010111011111100101001"
,"111000011000001110000111111000110110000001110110110111011111000"
,"100110111111100111000010101111111101101100111111001001011110"
,"-10111010011011100011101100011011010100110101110110001010100100"
,"10100000100001011100111100001101111111011100011101111001011011"
,"-110111110101010100101001010110001011101011001011011101100010011"
,"101000000010111011010111100001001111100011001010110100001111111"
,"10110100000100101110011000010110000010100000111000010001000010"
,"-110101110111010110110111111110011001010001010001111010111110111"
,"11100100100110111001110001101101110110101111001000100101001011"
,"-101100001011111011101000101101011101100001000011110101100101"
,"-101111001000000101001100001110110110010100101111110111110000110"
,"-1001010100001011111000101100010101100000001011010110111101000"
,"11010001110011001011011110101110110010010001101101111010010001"
,"-10001100011100101101010111101101001001011010100100101100100000"
,"-10111100001011110100011100010111110111000101101000101010110110"
,"-10011110101011011010000001110010111110011010100111011101011110"
,"110001010110000110101101010101010100100000101011000001011100010"
,"11111010001010010001101101011100001011000001100011011101011"
,"-1011010010100001000110111000001011001100100010001000111100001"
,"-111100010100010011100000111111011000101101110011000000001011000"
,"-11101110011010011000000000010111111000111011011100110000100101"
,"110001001011111001110010110111110100101111110001010101000100010"
,"-11100010101111111101000100000110001111100011111101101000101110"
,"11000011110101111001001000011001100101000010011011011010111101"
,"-11000000100001101101101100001011111010011110011100001110111000"
,"100001010010000010011111110111010110001000110010100001001101011"
,"-11100110010000010100101100011010010001010011100001010000010000"
,"-111000000000011010010110010000000111110000101011010001010000011"
,"11011010111001101101001001010101101000101100101001111010010110"
,"10000100010011100011010111001001111011000101010110001110111000"
,"110001110100001011010000110000100011110011010010110111101110111"
,"101000110010100011101010101101100011000000001001010010110011111"
,"-110100000001010010000001011011001000010001001001101000000001011"
,"101010100010010101011000000110101111000111111011110000000100110"
,"1100010001000110110000001101010010010001101000011010100100101110000010"
,"1101101001001000001101011111011001100110010011111011010001010010100111"
,"-1111100010011110010010010011011110000000011101100000110111101101100"
,"-1100101010111010010110110000100110111011100101101110001110011111110000"
,"-1111101111111000111000011011100110111011100001111010111100000001100010"
,"1100101110111000001010010100111101001000011011100101000110100001101101"
,"1010101010011000101111110101100000100001110110110110101010111100111110"
,"100100001111101001001000000000100101101011011001100011000111111011011"
,"1001000001100111110111101100000100000011010000101000110111110010111001"
,"1001100101100010111000000100010111000011111011101000110010111101001100"
,"-1011110111110100101001100010010101110100001000101100001110111111111010"
,"-1010010000011010111110011111010011000111000100010100000010110111000110"
,"-1111100100001000010101010101110111111111001110000011010100100001110010"
,"-1010000010100101010111101001001110000110010011101011000110110001010011"
,"-1111100001001000111011001110000010110110101100101010010111111110110000"
,"1001000101111001010011001000000001111111001010111101010010100111100001"
,"-1000111011111110001100010001000000101010101111111010000011011100011010"
,"1111011110001110101010110101110001101010101101010000001111110000001100"
,"-1011011010011011110100010001000100100000011011000000101000100111101011"
,"1100100110001001101011000101110011101110011000000010001101110110100010"
,"101001011101001001101000011111001011101100010110000000001110111010000"
,"1000100111111000101110000000001000110011101111100110110101011011100"
,"-1110100100101110111100010001100110010111101101111001011000110110101000"
,"-11100000001010010001100111001010011111000110101111001100010011011000"
,"-110011011110011010100010100000110010110010101010100110110001000010101"
,"-100010001001101011000100001000100010111001000000101000011110101101000"
,"1010010011010100111111011100011010101111110010100110010101001111010101"
,"-101011011111101010100000111111100100111001110000000011100011001100010"
,"1010110100010010101101011001110011001011000000100000110100010111110110"
,"1000101111000001100001111010010000110010000111101011001110110000101011"
,"-1111111111111101100010010110111110100111010100100011101110000000000011"
,"1100001000100000011000011100110100101111000010001101011010000000101110"
,"-1111001000001100000011111111111111100001000111010011101110101001001011"
,"-1101110111100101010011111010001010000100001111101110110000010010011010"
,"-1111100110111110101110101110111000100101110101010010001100110101011001"
,"1000110010011011001000010010011011101100101000000010001011000000101"
,"-101110010001101101111001110111110111001001001110000111110011011011111"
,"1100110011011110000001111111101110111000010111111111010110000011110101"
,"1001000010010010001101001100000011010100001101001010110011010000100100"
,"-1111011111100001101011111000010010001100111000111110111111101000011001"
,"10101110000101100010100101011100000101111100001111010000001101101001"
,"101100100100110011110000011110101101000000100011001001000000011010111"
,"-110010010000010000111010000111100110111000001110000011000010100110010"
,"-1011001101011000011110111011011010001101101110111000110110000100011010"
,"-1110111101100100110011001101111011001110111100010101110110001111111101"
,"-1001001000111100100110011000100100011010111111011011100111001011011111"
,"-1001100000100011001011111011100011011110001111110110110010111011000010"
,"-1001111100011110011111100111010001010101100101000011000101111100001110"
,"111110110011001100001011001111001110100100010111111010101110011101001"
,"-1011111000111101101010111001111011111000100110100100001111100100100101"
,"11010100110000000100101010010000011000011100101110101110000110000110"
,"-101010100111100100110010001111110001101001010110100101111000000000010"
,"-110001010110110110001101101101001010001011100111100001101000100000010"
,"10110110111010101001100101000110001011000010010111110011100000010101"
,"-1111101111110111010011111011101101100100110010111010000100010011111010"
,"-1100111101010000110011001010110001001111100100000000000111101111100100"
,"-1110011101001101110100101000011000111101000001000001110111100001100000"
,"101000101100001001010100100010101110000000101000111010110010101111101"
,"-100101000111000000111001111111111011010010110101100001010001011100000"
,"111101001101011000011011100111111001001110001001100010011111010101111"
,"100100101010011100011110001000110010100000010011110101101110110011100"
,"-1001101010001011111011111000100101111000001110100001101010100111100100"
,"-110001110000100011110110101100011010101100011111101101011010110001001"
,"-11001010111010001010010101000110110010000101110001101101000100110000"
,"110101000010010101101101111110001010011011101111001010011100111110000"
,"-1011111110000110011011010101011011100100101110001001100101000110111000"
,"-1100010100111000100001100001001101101110101010000010100101001111110111"
,"11000001000100010100111010101011001110011111100010110101111000011110"
,"-1111100100100000010101010100110001100001001001100100111100101110111110"
,"10000011011010001111110011010101101010110100011001110010111100100010"
,"-10101001101110111010110110110001001101001000001010110100011111101100"
,"101110011101010011011110011100100101100011100111110001110011100011100"
,"-110110000111001010010010001110111010101000010000110111100010111101001"
,"-1111011010010010011011101100110110001011100101000011110101000101001000"
,"-1001100001100110010011000110111111000110000100001110000101011000001010"
,"-101111011001111111110111011100101001010010011011110100111011011010111"
,"1001010111111101001000000010100101101110011010100111011011011011000100"
,"-1000000111101011011000011110111011010101111000110000011101110000100001"
,"1100011101011111001100010110010011010101111011010100100111001111001001"
,"-11111010000001100011111100001101000110101100011111011010001110011110"
,"1011010110100010111000001100101100001100001001100111100100101110101110"
,"1010110011111011111001000011011010011000001001110110000000000001100010"
,"-100100010111110000110111101001000011110111101110110011110111100001110"
,"10001110110000000010011111000010000101101110110010100001010100011"
,"-1010001000001110100101111011011110010011100110100001110010011010101000"
,"11011111101000100000011011101100011010011001111011001111111101011010"
,"11111110111000101110100010111001010010110110110101001010100110010"
,"1000000110101110010001111011001011001001110100111110111001001010110111"
,"-110000011110000001111001001011111001101110000111100011110101001000101"
,"1010000110001101101011101100010110011011001010110101001111101001101"
,"-1011111001101100001111110100000001000110111110010010100100111001111000"
,"11001111100011001111011010011110111010110100001010001010011101"
,"1001010001111101000000110001010101100011111101100000111110101000101010"
,"-1111010110011101001000100110001111010001001110111000100000001100011011"
,"100100101110111000110101110111001110011000110100010101001101101011010"
,"1100100110110001111110100110111101111110000000000010110101111111000011"
,"-1000111000101111010101101000010111110011101011011011010111101101010010"
,"1111110110111001101000110011110000101001011110100000001100100101001101"
,"-1010101010110001101100010001011111100000001111000101001011101100000010"
,"-111111000100100101110011001101110101101011111001110111100001011010011"
];
List.app (fn s => (print ("scan OCT " ^ s ^ " = "); callO (StringCvt.scanString (Int64.scan StringCvt.OCT)) s))
["-1000000000000000000000"
,"-777777777777777777777"
,"-115"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"116"
,"777777777777777777776"
,"777777777777777777777"
,"-671142575107360616720"
,"102215565741572541227"
,"-612560722454343717641"
,"-550515577424063002361"
,"-400114160561176377460"
,"146575522551661672722"
,"34227465271512057621"
,"-231726056627446560751"
,"-77170453166214446565"
,"606163706760333364137"
,"22134036461252046764"
,"250223042061070000462"
,"-616436256203723302505"
,"527640414522671131605"
,"326712771727711744616"
,"373750740650362737451"
,"703016077066016667370"
,"46774702577554771136"
,"-272334354332465661244"
,"240413474157734357133"
,"-676524512613531335423"
,"500273274117431264177"
,"264045630260240702102"
,"-656726677631212172767"
,"344467161556657104513"
,"-54137350553541036545"
,"-571005141666245767606"
,"-112413705425401326750"
,"321631336566221557221"
,"-214345527551132445440"
,"-274136434276705505266"
,"-236533201627632473536"
,"612606552524405301342"
,"37212215534130143353"
,"-132241067013144210741"
,"-742423407730556300130"
,"-356323000277073346045"
,"611371626764576125042"
,"-342577504061743755056"
,"303657110314502333275"
,"-300415554137236341670"
,"412202376726106241153"
,"-346202454322123412020"
,"-700032262007605321203"
,"332715511255054517226"
,"204234327117305261670"
,"616413206043632267567"
,"506243525543001122637"
,"-640122013310211150013"
,"524225300657077360046"
,"142106601522215032445602"
,"155110153731462373212247"
,"-17423622233600354067554"
,"-145272266046734556163760"
,"-175770703346734172740142"
,"145670122475103345064155"
,"125230576540416666527476"
,"44175110004553314307733"
,"110147675404032050676271"
,"114542700427037350627514"
,"-136764514225641054167772"
,"-122032763723070424026706"
,"-174410252567771603244162"
,"-120245275116062353066123"
,"-174110731602665452277660"
,"110571231001771275224741"
,"-107376142100525772033432"
,"173616526561525520176014"
,"-133233642104403300504753"
,"144611530563563002156642"
,"51351150371354260016720"
,"10477056001063574665334"
,"-164456742146275571306650"
,"-34012214712370657142330"
,"-63363242406262524661025"
,"-42115304104271005036550"
,"122324773432576246251725"
,"-53375240774471600343142"
,"126422553163130040642766"
,"105701417220620753166053"
,"-177775422676472443560003"
,"141040303464570215320056"
,"-171014037777410723565113"
,"-156745237212041756602232"
,"-174676565670456522146531"
,"10623310223354500213005"
,"-56215571676711160763337"
,"146336017756702777260365"
,"110222151403241512632044"
,"-173741537022147076775031"
,"25605424534057417201551"
,"54446360365500431100327"
,"-62202072074670160302462"
,"-131530367332155670660432"
,"-167544631573167425661775"
,"-111074463044327733471337"
,"-114043137343361766627302"
,"-117436374721254503057416"
,"76631413171644277256351"
,"-137075527173704644174445"
,"32460045220303456560606"
,"-52474462176151264570002"
,"-61266615551213474150402"
,"26672514506130227634025"
,"-175767237355446272042372"
,"-147520631261174400075744"
,"-163515645030750101674140"
,"50541124425600507262575"
,"-45070071777322654121340"
,"75153033477116114237257"
,"44523436106240236556634"
,"-115213737045701641524744"
,"-61604366543254375532611"
,"-31272122506620561550460"
,"65022555761233571234760"
,"-137606332533445611450670"
,"-142470414115565202451767"
,"30104247253163742657036"
,"-174440252461411144745676"
,"20332176325526431627442"
,"-25156726661151012643754"
,"56352336344543476163434"
,"-66071222167250206742751"
,"-173222335466134503650510"
,"-114146230677060416053012"
,"-57317767345122336473327"
,"112775100245563247333304"
,"-100753303673257060356041"
,"143537142623257324471711"
,"-37201437415065437321636"
,"132642701454141147445656"
,"126373710332301166000142"
,"-44276067510367566367416"
,"2166002370205566241243"
,"-121016457336234641623250"
,"33750403354323173177532"
,"3767056427122666512462"
,"100656217313116476711267"
,"-60360171137156074365105"
,"12061553542633126517515"
,"-137154176401067622447170"
,"317431732367264121235"
,"112175006125437540765052"
,"-172635104617211670401433"
,"44567065671630642515532"
,"144661764675760002657703"
,"-107057255027635333275522"
,"176671506360513640144515"
,"-125261542137401705135402"
,"-77044563156553716741323"
];
List.app (fn s => (print ("scan HEX " ^ s ^ " = "); callO (StringCvt.scanString (Int64.scan StringCvt.HEX)) s))
["-8000000000000000"
,"-7fffffffffffffff"
,"-4d"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"4e"
,"7ffffffffffffffe"
,"7fffffffffffffff"
,"-6e4c57d23bc31dd0"
,"1091b75f0deac297"
,"-62ae1d29638f9fa1"
,"-5a29b7f8a0cc04f1"
,"-4009870b89f9ff30"
,"19afb52b4ec775d2"
,"712f355cd285f91"
,"-267ac2ecbc9ae1e9"
,"-fcf12b3b2324d75"
,"618e7c6f836de85f"
,"48b81e98aa84df4"
,"2a12622188e00132"
,"-63a3cae41f4d8545"
,"55f410ca96e4b385"
,"35b95f9ebf27c98e"
,"3efd1e0d43cbbf29"
,"70c1c3f1b03b6ef8"
,"9bf9c2bfdb3f25e"
,"-2e9b8ec6d4d762a4"
,"282173c37f71de5b"
,"-6faa94ac5d65bb13"
,"50176bc27c65687f"
,"2d04b98582838442"
,"-6bbadbfcca28f5f7"
,"3926e71b76bc894b"
,"-b0bee8b5d843d65"
,"-5e40a61db297ef86"
,"-12a17c58ac05ade8"
,"34732debb246de91"
,"-231cb57b496a4b20"
,"-2f0bd1c5f7168ab6"
,"-27ab681cbe6a775e"
,"62b0d6aaa41582e2"
,"7d148dae160c6eb"
,"-16942370599111e1"
,"-78a2707ec5b98058"
,"-3b9a6005f8edcc25"
,"625f396fa5f8aa22"
,"-38aff4418f8fda2e"
,"30f5e4866509b6bd"
,"-3021b6c2fa79c3b8"
,"42904feeb119426b"
,"-399052c6914e1410"
,"-70034b203e15a283"
,"36b9b49568b29e96"
,"21138d727b1563b8"
,"63a168611e696f77"
,"5194755b1804a59f"
,"-680a40b64224d00b"
,"5512ac0d78fde026"
,"3111b03524686a4b82"
,"36920d7d9993ed14a7"
,"-7c4f249bc03b06f6c"
,"-32ae96c26ee5b8e7f0"
,"-3efe386e6ee1ebc062"
,"32ee0a53d21b94686d"
,"2aa62fd60876daaf3e"
,"121f49004b5b318fdb"
,"2419f7b040d0a37cb9"
,"2658b81170fba32f4c"
,"-2f7d29895d08b0effa"
,"-2906be7d31c4502dc6"
,"-3e4215577fce0d4872"
,"-282957a4e193ac6c53"
,"-3e123b382daca97fb0"
,"245e53201fcaf529e1"
,"-23bf8c440aafe8371a"
,"3de3aad71aad40fc0c"
,"-2da6f444481b0289eb"
,"32626b173b9808dda2"
,"14ba4d0f9762c01dd0"
,"44fc5c0119df36adc"
,"-3a4bbc4665ede58da8"
,"-e02919ca7c6bcc4d8"
,"-19bcd4506595536215"
,"-1113588445c8143d68"
,"29353f71abf29953d5"
,"-15bf541fc9ce01c662"
,"2b44ad6732c08345f6"
,"22f061e90c87acec2b"
,"-3fff625be9d48ee003"
,"308818734bc235a02e"
,"-3c8303fff8474eea4b"
,"-377953e8a10fbb049a"
,"-3e6faebb897548cd59"
,"464d9093765011605"
,"-17236f3bee49c3e6df"
,"333781feee17fd60f5"
,"24248d30350d2b3424"
,"-3df86be12338fbfa19"
,"ae16295c17c3d0369"
,"16499e0f5a046480d7"
,"-19208743cdc1c18532"
,"-2cd61eeda36ee3611a"
,"-3bd93337b3bc5763fd"
,"-248f266246bf6e72df"
,"-2608cbee378fdb2ec2"
,"-27c79f9d15650c5f0e"
,"1f6661679d22fd5ce9"
,"-2f8f6ae7be2690f925"
,"d4c04a9061cbae186"
,"-154f2647e34ad2f002"
,"-18adb1b6945cf0d102"
,"b6ea99462c25f3815"
,"-3efdd3eed932e844fa"
,"-33d4332b13e4007be4"
,"-39d374a18f41077860"
,"14584a915c051d657d"
,"-128e073ff696b0a2e0"
,"1e9ac373f271313eaf"
,"1254e3c465027add9c"
,"-26a2fbe25e0e86a9e4"
,"-18e11ed63563f6b589"
,"-cae8a546c85c6d130"
,"1a84adbf14dde539f0"
,"-2fe19b55b92e2651b8"
,"-314e2184dbaa0a53f7"
,"c1114eab39f8b5e1e"
,"-3e481553184993cbbe"
,"8368fcd5ab4672f22"
,"-a9bbadb13482b47ec"
,"173a9bce4b1cf8e71c"
,"-1b0e524775421bc5e9"
,"-3da49bb362e50f5148"
,"-2619931bf18438560a"
,"-17b3feee52937a76d7"
,"257f480a5b9a9db6c4"
,"-207ad87bb578c1dc21"
,"31d7cc59357b5273c9"
,"-fa063f0d1ac7da39e"
,"2d68b832c3099e4bae"
,"2b3ef90da609d80062"
,"-122f86f487bdd9ef0e"
,"11d804f842dd942a3"
,"-2883a5ede4e68726a8"
,"dfa206ec699ecff5a"
,"1fdc5d17296da9532"
,"206b91ecb274fb92b7"
,"-183c0f25f370f1ea45"
,"50c6d762cd95a9f4d"
,"-2f9b0fd011be4a4e78"
,"33e33da7bad0a29d"
,"251f40c558fd83ea2a"
,"-3d674898f44ee2031b"
,"125dc6bb9cc68a9b5a"
,"326c7e9bdf800b5fc3"
,"-238bd5a17ceb6d7b52"
,"3f6e68cf0a5e80c94d"
,"-2aac6c45f80f14bb02"
,"-1f892e66eb5f3bc2d3"
];
